Перевод: с английского на русский

с русского на английский

elimination of variable

Страницы
  • 1
  • 2

См. также в других словарях:

  • Elimination — can refer to several things: *When referencing the word in a Reality TV show, it means to vote one off, also known as voting off, consisting of they are out of the game or contest. *In chemistry, an elimination reaction is a one or two step… …   Wikipedia

  • Elimination des quantificateurs — Élimination des quantificateurs En algorithmique ou en logique mathématique, l élimination des quantificateurs est l action de remplacer une formule d une certaine logique contenant éventuellement des quantificateurs ∀ ou ∃ par une formule… …   Wikipédia en Français

  • Élimination des quantificateurs — En algorithmique ou en logique mathématique, l élimination des quantificateurs est l action consistant à remplacer une formule d une certaine logique contenant éventuellement des quantificateurs ∀ ou ∃ par une formule équivalente (admettant les… …   Wikipédia en Français

  • Variable Specific Impulse Magnetoplasma Rocket — Artist s impression of several VASIMR engines propelling a craft through space The Variable Specific Impulse Magnetoplasma Rocket (VASIMR) is an electro magnetic thruster for spacecraft propulsion. It uses radio waves to ionize and heat a… …   Wikipedia

  • Dead code elimination — In compiler theory, dead code elimination is a compiler optimization to remove code which does not affect the program results. Removing such code has two benefits: it shrinks program size, an important consideration in some contexts, and it… …   Wikipedia

  • Gaussian elimination — In linear algebra, Gaussian elimination is an algorithm for solving systems of linear equations. It can also be used to find the rank of a matrix, to calculate the determinant of a matrix, and to calculate the inverse of an invertible square… …   Wikipedia

  • Dead code elimination — (englisch für Entfernung von totem Code) ist ein Verfahren aus dem Bereich des Compilerbaus, das nicht verwendete Anweisungen beseitigt. Dadurch kommt es zu einem kleineren Programm mit schnellerer Ausführung. Erläuterung mit Beispielen Gegeben… …   Deutsch Wikipedia

  • Single-elimination tournament — Example of a single elimination tournament bracket A single elimination tournament, also called a knockout, cup or sudden death tournament, is a type of elimination tournament where the loser of each match or bracket is immediately eliminated… …   Wikipedia

  • Dead-end elimination — The dead end elimination algorithm (DEE) is a method for minimizing a function over a discrete set of independent variables. The basic idea is to identify dead ends , i.e., bad combinations of variables that cannot possibly yield the global… …   Wikipedia

  • Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… …   Wikipedia

  • Fourier–Motzkin elimination — is a mathematical algorithm for eliminating variables from a system of linear inequalities. It can look for both real and integer solutions. It is computationally expensive.Elimination (or exists elimination) of variables V from a system of… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»